"Eugene Asarin" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Computer Security - ESORICS 2006, 11 conf

Автор: Eugene Asarin, Автор: Dieter Gollmann, Автор: Jan Meier

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 8.85 Mb

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings

Автор: Eugene Asarin, Автор: Patricia Bouyer

Размер книги: 5.31 Mb